#include<stdio.h>
void main()
{
	char ch1,ch2;

	ch1=getchar();
	ch2=getchar();

	putchar(ch1+32);
	putchar(ch2+32);
	putchar('\n');
}